Assessing Usability from Formal User-Interface Designs
نویسندگان
چکیده
In this paper we demonstrate usability analysis of Object-Z user-interface designs. Usability can be defined in terms of five salient properties of an interactive system: task efficiency, reuse, user-computer communication, robustness and flexibility. Formal user-interface designs have been touted as a basis for determining the usability of an interactive system prior to the expense of system development. However to date, a comprehensive demonstration of the utility of formal designs for this purpose has not been forthcoming. We show that formal user-interface designs provide a valuable basis for usability analysis.
منابع مشابه
Assessing Usability from Formal User - Interface
In this paper we demonstrate usability analysis of Object-Z user-interface designs. Usability can be deened in terms of ve salient properties of an interactive system: task eeciency, reuse, user-computer communication, robustness and exibility. Formal user-interface designs have been touted as a basis for determining the usability of an interactive system prior to the expense of system developm...
متن کاملUsability evaluation of the user interface in electronic prescribing systems of Iran Health Insurance Organization and Social Security Organization
Introduction: The e-prescribing system is one of the basic technologies in the health system structure which was developed with the aim of properly managing healthcare resources and services, preventing common manual prescribing errors, and increasing patient safety. Given that the user interface of e-prescribing system is considered as the main factor of user acceptance, the purpose of the pre...
متن کاملLearnability and Robustness of User Interfaces - Towards a Formal Analysis of Usability Design Principles
The paper is concerned with automatic usability assessment, based on heuristic principles. The objective is to lay the ground, albeit still rather informally, of a program of assessing the usability of an interactive system using formal methods. Further research can then extend this into an algebra of interactive systems.
متن کاملFlexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Principles
The paper is concerned with automatic usability assessment, based on heuristic principles. The objective is to lay the ground, albeit still rather informally, of a program of assessing the usability of an interactive system using formal methods. Further research can then extend this into an algebra of interactive systems.
متن کاملUsability Testing a Malware-Resistant Input Mechanism
We report the results of a usability study of Bumpy, a system that enables a user to provide secret inputs to remote webservers without trusting the computer on which she types those inputs. Achieving this somewhat paradoxical property via Bumpy requires extra diligence from users, raising questions as to whether it is a viable protection for the average user. We evaluate the originally propose...
متن کامل